Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
type-type identity theory — type–type identity … Philosophy dictionary
type–type identity — A form of identity theory of mind in which it is supposed that mental events can be identified with physical events in such a way that to any kind of the one there will correspond a kind of the other. Davidson is credited with realizing that… … Philosophy dictionary
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type physicalism — The relevant question: what will research discover? Can types of mental states be meaningfully described by types of physical events (type physicalism), or is there some other problem with this pursuit? Type physicalism (also known as reductive… … Wikipedia
identity theory — In the philosophy of mind, the doctrine that mental events are identical to physico chemical events in the brain. So called type identity theory asserts that each type of mental event, such as pain, is identical to some type of event in the brain … Universalium
Type (biology) — Type specimen for Cimbrophlebia brooksi, a fossil scorpion fly. By convention, the red label denotes a type specimen. In biology, a type is one particular specimen (or in some cases a group of specimens) of an organism to which the scientific… … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Identity document — National identity card redirects here. For cards referred to in the English language as national identity card , see National identity card (disambiguation). An identity document (also called a piece of identification or ID, or colloquially as… … Wikipedia
Type statique — Typage statique Sommaire 1 Définition 2 Langages à objets et typage statique 3 Problèmes 4 Résolution, autres difficultés … Wikipédia en Français
Identity (philosophy) — In philosophy, identity, from Latin: identitas (“sameness”), is the relation each thing bears just to itself. [1] According to Leibniz s law two things sharing every attribute are not only similar, but are the same thing. The concept of sameness… … Wikipedia
Identity documents in Sweden — There are several identity documents used in Sweden. None are compulsory. Certified identification cards are issued by the banks and the postal service (until 2008). A national identity card was introduced in 2005, which along with passports are… … Wikipedia
